-
1 the correctness of the subtraction has been proved
Макаров: правильность вычитания проверенаУниверсальный англо-русский словарь > the correctness of the subtraction has been proved
-
2 correctness of the subtraction has been proved
Макаров: правильность вычитания проверенаУниверсальный англо-русский словарь > correctness of the subtraction has been proved
-
3 правильность вычитания проверена
Универсальный русско-английский словарь > правильность вычитания проверена
-
4 prove
[pru:v] v1. 1) доказыватьto prove smb.'s guilt [innocence] - доказать чью-л. вину [чью-л. невиновность]
it remains to be proved - это ещё не доказано /надо доказать/
2) удостоверять, подтверждать документами; (за)свидетельствоватьall the evidence goes to prove that... - все показания свидетельствуют о том /подтверждают/, что...
2. арх.1) испытывать, пробоватьto prove smb.'s honesty - испытать чью-л. честность
this he said to prove her - он сказал это, чтобы испытать её
prove all things; hold fast that which is good - библ. всё испытывайте; хорошего держитесь
2) спец. подвергать испытанию, испытыватьto prove a new weapon [a new car model] - испытывать новый вид оружия [новую модель автомашины]
to prove ore - исследовать руду; проводить анализ руды
3. оказыватьсяto prove (to be) satisfactory [useful, insufficient] - оказаться удовлетворительным [полезным, недостаточным]
4. показывать; демонстрироватьto prove oneself - проявлять себя, показывать себя
he proved himself (to be) a coward - он вёл себя как трус, он оказался трусом
5. мат. проверятьthe correctness of the subtraction has been proved - правильность вычитания проверена
6. полигр. получать пробный оттиск7. горн. разведывать8. кул. производить расстойку ( теста)9. испытывать, переживатьto prove the extreme depths of poverty and sorrow - испытать крайнюю нужду и горе
-
5 prove
1. v доказыватьto prove guilt — доказывать вину; доказать вину
2. v удостоверять, подтверждать документами; свидетельствоватьprove out — подтверждать; проявлять себя в полной мере; доказывать готовность; демонстрировать положительные свойства
3. v арх. испытывать, пробоватьthis he said to prove her — он сказал это, чтобы испытать её
4. v арх. спец. подвергать испытанию, испытывать5. v арх. оказываться6. v арх. показывать; демонстрироватьto prove oneself — проявлять себя, показывать себя
7. v арх. мат. проверять8. v арх. полигр. получать пробный оттиск9. v арх. горн. разведывать10. v арх. кул. производить расстойку11. v арх. испытывать, переживатьСинонимический ряд:1. test (verb) assay; check; demonstrate; examine; test; try; try out2. verify (verb) affirm; ascertain; authenticate; bear out; certify; confirm; corroborate; determine; document; establish; evidence; make out; show; substantiate; validate; verifyАнтонимический ряд:deny; disprove; expose; neutralise; neutralize; pass; refute -
6 подтвердит правильность
Бизнес, юриспруденция. Русско-английский словарь > подтвердит правильность
-
7 prove
pru:v гл.
1) доказывать;
удостоверять;
подтверждать документами You will have to prove to the police that you were at home that night. ≈ Тебе придется доказать полиции, что той ночью ты был дома.
2) а) испытывать, пробовать Syn: try
2., test
2. б) спец. подвергать испытанию технических характеристик This afternoon I proved my rifle-gun. ≈ Сегодня утром я испытал свою винтовку. в) мат. осуществить проверку (вычислений)
3) уст. становиться;
достигать( чего-л.) Syn: become, grow
4) демонстрировать, показывать;
выказывать, проявлять Some people do the strangest things just to prove themselves. ≈ Некоторые люди совершают самые сумасшедшие поступки только для того, чтобы покрасоваться. Syn: evince
5) а) юр. утверждать (завещание) the want of proving the will ≈ желание утвердить завещание б) подтверждать, оправдывать( имеющиеся, присущие качества или характеристики)
6) полигр. делать пробный оттиск
7) оказываться, показывать на практике Despite all the rumours his new performance proved to have a success. ≈ Вопреки всем сплетням и слухам, его новый спектакль действительно имел успех. ∙ prove out prove up доказывать - to * smb.'s guilt доказать чью-либо вину удостоверять, подтверждать документами;
(за) свидетельствовать - to * one's identity удостоверить личность - to * a will утвердить завещание (устаревшее) испытывать, пробовать - to * smb.'s honesty испытать чью-либо честность( специальное) подвергать испытанию, испытывать - to * a new weapon испытывать новый вид оружия оказываться - to * satisfactory оказаться удовлетворительным показывать;
демонстрировать - to * oneself проявлять себя, показывать себя (математика) проверять - the correctness of the subtraction has been *d правильность вычитания проверена (полиграфия) получать пробный оттиск( горное) разведывать( кулинарное) производить расстойку (теста) испытывать, переживать - to * the extreme depths of poverty and sorrow испытать крайнюю нужду и горе ~ оказываться;
the play proved a success пьеса имела успех prove полигр. делать пробный оттиск;
prove out подтверждать(ся) ~ доказывать;
удостоверять;
подтверждать ~ доказывать, удостоверять, подтверждать ~ доказывать ~ испытывать, пробовать ~ испытывать, пробовать ~ испытывать ~ оказываться;
the play proved a success пьеса имела успех ~ оказываться ~ подтверждать документами ~ мат. проверять ~ свидетельствовать ~ удостоверять ~ юр. утверждать (завещание) ~ утверждать (завещание) ~ утверждать prove полигр. делать пробный оттиск;
prove out подтверждать(ся)
См. также в других словарях:
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
mathematics, East Asian — Introduction the discipline of mathematics as it developed in China and Japan. When speaking of mathematics in East Asia, it is necessary to take into account China, Japan, Korea, and Vietnam as a whole. At a very early time in their… … Universalium
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium